data MonF a = MEmpty | MAppend a a